Issue394-3.agda:5,36-36
Issue394-3.agda:5,36: Malformed syntax declaration: syntax must use holes exactly once
<EOF><ERROR>
...
